[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 107 127 158 208 0 0 -1

N.S.

1 1.00 0.97 1.15 1.44 1.89 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.105 0.220 0.260 0.467 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 72 83 77 97 0 0 -1

N.S.

1 1.00 0.84 0.97 0.90 1.13 0.00 0.00 -0.01

time (sec)

N/A 0.029 0.090 0.191 0.255 0.474 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 97 108 128 199 0 0 -1

N.S.

1 1.00 1.13 1.26 1.49 2.31 0.00 0.00 -0.01

time (sec)

N/A 0.033 0.033 0.200 0.263 0.545 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 62 74 57 87 0 0 -1

N.S.

1 1.00 1.00 1.19 0.92 1.40 0.00 0.00 -0.02

time (sec)

N/A 0.019 0.068 0.191 0.251 0.427 0.000 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 85 88 96 186 0 0 -1

N.S.

1 1.00 1.37 1.42 1.55 3.00 0.00 0.00 -0.02

time (sec)

N/A 0.023 0.039 0.211 0.256 0.435 0.000 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 50 65 35 70 0 0 39

N.S.

1 1.00 1.32 1.71 0.92 1.84 0.00 0.00 1.03

time (sec)

N/A 0.010 0.019 0.207 0.259 0.359 0.000 0.000 2.217

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 78 36 49 143 0 0 -1

N.S.

1 1.00 2.60 1.20 1.63 4.77 0.00 0.00 -0.03

time (sec)

N/A 0.015 0.095 0.105 0.264 0.474 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 47 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.097 0.032 0.026 0.000 0.000 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 40 62 32 64 36 0 35

N.S.

1 1.00 1.33 2.07 1.07 2.13 1.20 0.00 1.17

time (sec)

N/A 0.016 0.022 0.240 0.338 0.520 0.441 0.000 2.323

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 66 99 105 76 0 0 51

N.S.

1 1.00 1.32 1.98 2.10 1.52 0.00 0.00 1.02

time (sec)

N/A 0.025 0.025 0.225 0.265 0.408 0.000 0.000 2.265

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 59 75 56 77 0 0 -1

N.S.

1 1.00 1.02 1.29 0.97 1.33 0.00 0.00 -0.02

time (sec)

N/A 0.028 0.036 0.213 0.255 0.465 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 78 120 147 89 0 0 -1

N.S.

1 1.00 1.05 1.62 1.99 1.20 0.00 0.00 -0.01

time (sec)

N/A 0.033 0.032 0.210 0.260 0.450 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 69 83 73 87 0 0 -1

N.S.

1 1.00 0.87 1.05 0.92 1.10 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.042 0.200 0.253 0.524 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 88 139 185 99 0 0 -1

N.S.

1 1.00 0.90 1.42 1.89 1.01 0.00 0.00 -0.01

time (sec)

N/A 0.043 0.053 0.197 0.269 0.419 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 122 0 0 272 0 0 -1

N.S.

1 1.00 1.16 0.00 0.00 2.59 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.140 0.020 0.000 0.447 0.000 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 224 0 0 0 0 0 -1

N.S.

1 1.00 1.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.991 0.022 0.000 0.000 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 87 0 82 234 0 0 -1

N.S.

1 1.00 1.61 0.00 1.52 4.33 0.00 0.00 -0.02

time (sec)

N/A 0.056 0.084 0.023 0.271 0.576 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 121 0 0 0 0 0 -1

N.S.

1 1.00 1.78 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.160 0.020 0.000 0.000 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 115 0 0 0 0 0 -1

N.S.

1 1.00 1.42 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.091 0.076 0.020 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 70 0 78 139 0 0 -1

N.S.

1 1.00 1.43 0.00 1.59 2.84 0.00 0.00 -0.02

time (sec)

N/A 0.049 0.103 0.020 0.257 0.404 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 100 0 0 163 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 1.87 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.086 0.020 0.000 0.399 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 106 0 0 178 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 1.78 0.00 0.00 -0.01

time (sec)

N/A 0.076 0.120 0.022 0.000 0.462 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 147 0 0 202 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 1.53 0.00 0.00 -0.01

time (sec)

N/A 0.082 0.114 0.020 0.000 0.449 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 271 0 0 0 0 0 -1

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.153 0.676 0.020 0.000 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 461 0 0 0 0 0 -1

N.S.

1 1.00 2.38 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.143 5.658 0.003 0.000 0.000 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 171 0 0 0 0 0 -1

N.S.

1 1.00 1.46 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.112 0.299 0.022 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 246 0 0 0 0 0 -1

N.S.

1 1.00 2.05 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.215 0.022 0.000 0.000 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 198 0 0 0 0 0 -1

N.S.

1 1.00 1.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.107 0.121 0.020 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 132 0 144 222 0 0 -1

N.S.

1 1.00 1.69 0.00 1.85 2.85 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.149 0.021 0.272 0.573 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 182 0 0 267 0 0 -1

N.S.

1 1.00 1.48 0.00 0.00 2.17 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.200 0.021 0.000 0.389 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 200 0 0 301 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.126 0.193 0.020 0.000 0.441 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 277 0 0 346 0 0 -1

N.S.

1 1.00 1.36 0.00 0.00 1.70 0.00 0.00 -0.00

time (sec)

N/A 0.131 0.235 0.018 0.000 0.491 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.011 2.637 0.027 0.000 0.000 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.004 0.020 0.021 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.018 0.213 0.023 0.000 0.000 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 44 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.081 0.056 0.023 0.000 0.000 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 56 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.109 0.053 0.023 0.000 0.000 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 91 0 0 0 0 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.187 0.120 0.022 0.000 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 4.583 0.020 0.000 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 3.025 0.020 0.000 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 81 0 0 0 0 0 -1

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.033 0.165 0.018 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 0.631 0.021 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 1.307 0.022 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 165 269 259 879 0 0 -1

N.S.

1 1.00 0.99 1.61 1.55 5.26 0.00 0.00 -0.01

time (sec)

N/A 0.268 0.164 0.298 0.272 0.530 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 122 204 192 543 0 0 -1

N.S.

1 1.00 1.00 1.67 1.57 4.45 0.00 0.00 -0.01

time (sec)

N/A 0.181 0.106 0.262 0.263 0.513 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 133 115 89 252 0 0 -1

N.S.

1 1.00 1.64 1.42 1.10 3.11 0.00 0.00 -0.01

time (sec)

N/A 0.102 0.275 0.204 0.263 0.428 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 78 36 49 143 0 0 -1

N.S.

1 1.00 2.60 1.20 1.63 4.77 0.00 0.00 -0.03

time (sec)

N/A 0.016 0.052 0.100 0.253 0.381 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 506 0 0 0 0 0 -1

N.S.

1 1.00 2.35 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.256 0.450 0.112 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 134 210 0 687 0 0 -1

N.S.

1 1.00 1.37 2.14 0.00 7.01 0.00 0.00 -0.01

time (sec)

N/A 0.106 0.152 1.812 0.000 0.414 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 204 929 0 2579 0 0 -1

N.S.

1 1.00 1.25 5.70 0.00 15.82 0.00 0.00 -0.01

time (sec)

N/A 0.203 0.319 2.321 0.000 1.023 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

918 918 1094 2517 0 0 0 0 -1

N.S.

1 1.00 1.19 2.74 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.172 39.583 1.094 0.000 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

679 679 418 1966 0 0 0 0 -1

N.S.

1 1.00 0.62 2.90 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.669 10.973 1.046 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

429 429 926 840 0 0 0 0 -1

N.S.

1 1.00 2.16 1.96 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.454 29.452 0.912 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.050 180.001 0.115 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.052 6.000 0.117 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

486 486 380 1939 0 0 0 0 -1

N.S.

1 1.00 0.78 3.99 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.684 10.929 0.864 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

939 939 1098 2545 0 0 0 0 -1

N.S.

1 1.00 1.17 2.71 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.965 29.455 0.928 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

707 707 1012 1991 0 0 0 0 -1

N.S.

1 1.00 1.43 2.82 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.476 29.691 0.997 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

474 474 343 868 0 0 0 0 -1

N.S.

1 1.00 0.72 1.83 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.202 10.830 0.822 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 307 395 0 0 0 0 -1

N.S.

1 1.00 1.08 1.39 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.287 5.453 0.784 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.051 4.517 0.118 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.054 7.026 0.118 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

731 731 1042 2021 0 0 0 0 -1

N.S.

1 1.00 1.43 2.76 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.790 29.868 0.874 0.000 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

499 499 820 896 0 0 0 0 -1

N.S.

1 1.00 1.64 1.80 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.364 27.555 0.845 0.000 0.000 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

318 318 264 425 0 0 0 0 -1

N.S.

1 1.00 0.83 1.34 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.139 11.028 0.783 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 166 328 0 0 0 0 -1

N.S.

1 1.00 1.11 2.20 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.188 0.471 0.748 0.000 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.058 14.467 0.114 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.063 16.000 0.127 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

777 777 1108 2728 0 0 0 0 -1

N.S.

1 1.00 1.43 3.51 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.145 29.611 0.872 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

569 569 1076 2497 0 0 0 0 -1

N.S.

1 1.00 1.89 4.39 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.684 29.618 0.819 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

393 393 390 2106 0 0 0 0 -1

N.S.

1 1.00 0.99 5.36 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.484 11.619 0.795 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

369 369 784 2079 0 0 0 0 -1

N.S.

1 1.00 2.12 5.63 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.377 18.870 0.802 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.064 45.927 0.154 0.000 0.000 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.067 43.960 0.144 0.000 0.000 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

648 785 1217 3782 0 0 0 0 -1

N.S.

1 1.21 1.88 5.84 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.728 30.053 0.984 0.000 0.000 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 138 211 291 386 0 0 -1

N.S.

1 1.00 0.64 0.99 1.36 1.80 0.00 0.00 -0.00

time (sec)

N/A 0.091 0.170 0.352 0.260 0.404 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 119 171 229 357 0 0 -1

N.S.

1 1.00 0.71 1.02 1.37 2.14 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.125 0.386 0.256 0.434 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 169 126 150 312 0 0 -1

N.S.

1 1.00 1.47 1.10 1.30 2.71 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.374 0.333 0.266 0.376 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 123 107 86 273 0 0 -1

N.S.

1 1.00 1.35 1.18 0.95 3.00 0.00 0.00 -0.01

time (sec)

N/A 0.047 0.163 0.240 0.256 0.386 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 68 122 93 133 0 0 -1

N.S.

1 1.00 0.62 1.12 0.85 1.22 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.064 0.234 0.269 0.356 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 93 140 134 169 0 0 -1

N.S.

1 1.00 0.59 0.89 0.85 1.07 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.088 0.245 0.253 0.362 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 109 158 167 196 0 0 -1

N.S.

1 1.00 0.53 0.77 0.81 0.96 0.00 0.00 -0.00

time (sec)

N/A 0.082 0.108 0.249 0.264 0.371 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 114 152 178 224 0 0 -1

N.S.

1 1.00 0.56 0.75 0.87 1.10 0.00 0.00 -0.00

time (sec)

N/A 0.111 0.175 0.361 0.268 0.421 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 97 267 139 196 0 0 -1

N.S.

1 1.00 0.61 1.68 0.87 1.23 0.00 0.00 -0.01

time (sec)

N/A 0.096 0.146 0.448 0.265 0.368 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 77 195 97 162 0 0 -1

N.S.

1 1.00 0.53 1.34 0.66 1.11 0.00 0.00 -0.01

time (sec)

N/A 0.072 0.076 0.440 0.255 0.369 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 93 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.200 0.140 0.024 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 138 0 0 0 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.203 0.713 0.026 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

260 260 182 286 396 679 0 0 -1

N.S.

1 1.00 0.70 1.10 1.52 2.61 0.00 0.00 -0.00

time (sec)

N/A 0.173 0.449 0.463 0.273 0.484 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 149 217 287 614 0 0 -1

N.S.

1 1.00 0.76 1.10 1.46 3.12 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.134 0.335 0.259 0.460 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 134 189 191 580 0 0 -1

N.S.

1 1.00 0.79 1.11 1.12 3.41 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.132 0.341 0.258 0.408 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 123 190 152 559 0 0 -1

N.S.

1 1.00 0.75 1.16 0.93 3.41 0.00 0.00 -0.01

time (sec)

N/A 0.099 0.164 0.323 0.274 0.486 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 126 191 175 278 0 0 -1

N.S.

1 1.00 0.67 1.01 0.93 1.47 0.00 0.00 -0.01

time (sec)

N/A 0.112 0.126 0.332 0.261 0.420 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 152 223 232 347 0 0 -1

N.S.

1 1.00 0.61 0.90 0.93 1.39 0.00 0.00 -0.00

time (sec)

N/A 0.136 0.156 0.336 0.263 0.352 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 159 377 244 412 0 0 -1

N.S.

1 1.00 0.64 1.51 0.98 1.65 0.00 0.00 -0.00

time (sec)

N/A 0.165 0.229 0.567 0.270 0.379 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 123 280 183 346 0 0 -1

N.S.

1 1.00 0.61 1.38 0.90 1.70 0.00 0.00 -0.00

time (sec)

N/A 0.106 0.176 0.552 0.267 0.373 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 148 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.292 0.250 0.119 0.000 0.000 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 187 0 0 0 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.288 0.594 0.109 0.000 0.000 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

512 512 1221 0 0 0 0 0 -1

N.S.

1 1.00 2.38 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.841 1.130 0.128 0.000 0.000 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

467 467 1103 0 0 0 0 0 -1

N.S.

1 1.00 2.36 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.793 0.331 0.117 0.000 0.000 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

477 477 1055 0 0 0 0 0 -1

N.S.

1 1.00 2.21 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.571 0.360 0.127 0.000 0.000 0.000 0.000 0.000

[next] [front] [up]